Order:
  1. A Lattice of Chapters of Mathematics.Jan Mycielski, Pavel Pudlák, Alan S. Stern & American Mathematical Society - 1990 - American Mathematical Society.
     
    Export citation  
     
    Bookmark   7 citations  
  2.  32
    Sequential theories and infinite distributivity in the lattice of chapters.Alan S. Stern - 1989 - Journal of Symbolic Logic 54 (1):190-206.
    We introduce a notion of complexity for interpretations, which is used to prove some new results about interpretations of sequential theories. In particular, we give a new, elementary proof of Pudlák's theorem that sequential theories are connected. We also demonstrate a counterexample to the infinitary distributive law $a \vee \bigwedge_{i \in I} b_i = \bigwedge_{i \in I} (a \vee b_i)$ in the lattice of chapters, in which the chapters a and b i are compact. (Counterexamples in which a is not (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  15
    A class of connected theories of order.Alan S. Stern & Stanisław S. Świerczkowski - 1994 - Journal of Symbolic Logic 59 (2):534-542.